projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9d46c6) | patch
Revert "ocaml/libs/xb: update xb.mli in accordance with df1e4c6e7f8"
authorWei Liu <wei.liu2@citrix.com>
Thu, 8 Feb 2018 18:04:30 +0000 (18:04 +0000)
committerWei Liu <wei.liu2@citrix.com>
Mon, 12 Feb 2018 11:05:35 +0000 (11:05 +0000)
commitf2728cfb4cbe8473c00fc0bb525c250c691602e4
tree4cf8af4cb3241af2aed01ac1fc0e2e5de2d1f8actree | snapshot
parentc9d46c6fba9496478fa9f42c4bbebce8a191527dcommit | diff
Revert "ocaml/libs/xb: update xb.mli in accordance with df1e4c6e7f8"

This reverts commit a53b9b987a0a9b2c67569f90f3d7ab1327ade2e7.
tools/ocaml/libs/xb/xb.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.